Formal techniques for networked and distributed systems - FORTE 2001 : IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
- Författare
- International Federation for Information Processing Myungchul Kim International Conference on Formal Techniques for Networked and Distributed Systems 2001 : Cheju Island)
- (Edited by Myungchul Kim .., Förord: "FORTE 2001, formerly FORTE/PSTV conference ... was organized under the auspices of IFIP WG 6.1 ...")
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer | cop. 2001 | USA, Boston | xii, 458 sidor. ill. 24 cm. |